Zermelo set theory

Results: 108



#Item
71Axioms of set theory / Z notation / Axiom of empty set / Nothing / Axiom of choice / Zermelo–Fraenkel set theory / Axiom of regularity / Axiom of union / Axiom of infinity / Mathematical logic / Mathematics / Set theory

Math 220 Axioms for set theory

Add to Reading List

Source URL: www.math.tamu.edu

Language: English - Date: 2003-11-16 17:03:44
72Function / Category theory / Axiom schema of replacement / Constructivism / Topos / Sheaf / Axiom of choice / Zermelo–Fraenkel set theory / Surjective function / Mathematics / Mathematical logic / Functions and mappings

Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗

Add to Reading List

Source URL: www2.math.uu.se

Language: English - Date: 2009-10-23 05:03:31
73Urelements / Z notation / New Foundations / Type theory / Willard Van Orman Quine / Zermelo–Fraenkel set theory / Axiom of choice / Zermelo set theory / S / Mathematical logic / Set theory / Mathematics

Proof, Sets, and Logic M. Randall Holmes November 30, 2012

Add to Reading List

Source URL: math.boisestate.edu

Language: English - Date: 2012-11-30 21:29:32
74Determinacy / Large cardinals / Axioms of set theory / Constructible universe / Proof theory / Continuum hypothesis / Axiom of choice / Zermelo–Fraenkel set theory / Axiom of determinacy / Mathematical logic / Set theory / Mathematics

Is the Continuum Hypothesis a definite mathematical problem? DRAFT[removed]For: Exploring the Frontiers of Incompleteness (EFI) Project, Harvard[removed]

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2011-09-24 21:28:21
75Z notation / Axioms of set theory / Set theory / Predicate logic / Urelements / Zermelo–Fraenkel set theory / S / Constructible universe / Peano axioms / Mathematical logic / Mathematics / Logic

D:h800tsmelo-Fraenkelmelo-FraenkelSetTheory.wpd

Add to Reading List

Source URL: math.sfsu.edu

Language: English - Date: 2008-04-27 17:44:03
76Urelements / Z notation / New Foundations / Type theory / Willard Van Orman Quine / Zermelo–Fraenkel set theory / Implementation of mathematics in set theory / S / Ordinal number / Mathematical logic / Set theory / Mathematics

This book is dedicated to Prabir Roy, Louis McAuley, Jonathan Seldin, Anil Nerode, and Maurice Boffa, my teachers, and to W. V. O. Quine and R. B. Jensen, the founders of this style of set theory.

Add to Reading List

Source URL: math.boisestate.edu

Language: English - Date: 2012-11-30 11:20:44
77Determinacy / Descriptive set theory / Inner model theory / Forcing / Woodin cardinal / Axiom of projective determinacy / Axiom of choice / L / Zermelo–Fraenkel set theory / Mathematical logic / Set theory / Large cardinals

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010

Add to Reading List

Source URL: logic.harvard.edu

Language: English - Date: 2011-09-20 00:26:33
78Continuum hypothesis / Forcing / Infinity / Zermelo–Fraenkel set theory / Solomon Feferman / Peano axioms / Large cardinal / Axiom / Conjecture / Mathematical logic / Mathematics / Logic

Feferman on the Indefiniteness of CH Peter Koellner

Add to Reading List

Source URL: logic.harvard.edu

Language: English - Date: 2011-10-06 07:47:45
79Large cardinals / Cardinal numbers / Forcing / Determinacy / Infinity / Continuum hypothesis / Zermelo–Fraenkel set theory / Limit cardinal / Measurable cardinal / Mathematical logic / Set theory / Mathematics

The Continuum Hypothesis Peter Koellner September 12, 2011

Add to Reading List

Source URL: logic.harvard.edu

Language: English - Date: 2011-09-20 00:26:33
80Z notation / Quantification / Functions and mappings / Peano axioms / Logicism / S / Zermelo–Fraenkel set theory / Function / Constructible universe / Mathematical logic / Mathematics / Logic

Notre Dame Journal of Formal Logic Volume 46, Number 1, 2005

Add to Reading List

Source URL: kleene.ss.uci.edu

Language: English - Date: 2005-02-01 20:35:14
UPDATE